/*
 * Generator moved as a separate plugin.
 * Based on: http://kthoms.wordpress.com/2011/09/28/moving-an-xtend-generator-into-its-own-plugin/
 *
 * Extended to allow generating from multiple input models.
 * Based on: http://kthoms.wordpress.com/2011/07/12/xtend-generating-from-multiple-input-models/
 */
package cz.cuni.mff.d3s.arcas.generator.alloy;

import org.eclipse.xtext.generator.extended.IGenerator2;
import org.eclipse.xtext.service.AbstractGenericModule;

public class AlloyGeneratorModule extends AbstractGenericModule {
	public Class<? extends org.eclipse.xtext.generator.IGenerator> bindIGenerator() {
		return DRDLGenerator.class;
	}

	public Class<? extends IGenerator2> bindIGenerator2 () {
		return DRDLGenerator.class;
	}
}
